$\forall$$p$:$\mathbb{P}$, $d$:Dec($p$). dectt($d$) $\in$ $\mathbb{B}$